<?php
echo"10";